"Jean-Raymond Abrial" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Jean-Raymond Abrial, Uwe Glasser

Категория: Компьютеры

3.05 Mb

#2

Modeling in Event-B: System and Software Engineering

Jean-Raymond Abrial

3.01 Mb

#3

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995

Jean-Raymond Abrial, Egon Börger, Hans Langmaack

Категория: Cs_Computer science, CsLn_Lecture notes

4.81 Mb